Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·9h
λLambda Formalization
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·6h·
Discuss: Hacker News
🧮Algebraic Datatypes
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·12h
🎯Gradual Typing
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·11h
🦀Rust Macros
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·13h
✅Format Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·21h
🎯Performance Proofs
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
k-NN Classification and Model Evaluation
dev.to·17h·
Discuss: DEV
🧠Machine Learning
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·18h
🔗Concatenative Programming
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·3h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Generating C functions and prototypes using macros – part 2
subethasoftware.com·23h
🦀Rust Macros
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Teaching programming languages
kmjn.org·1d
💻Programming languages
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming